81. Combinatorics, complexity, & logic : proceedings of DMTCS'96
پدیدآورنده : D.S. Bridges...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Combinatorial analysis,Congresses ، Computational complexity,Congresses ، Logic, Symbolic and mathematical
رده :
QA
164
.
D6
1996
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
82. Combinatorics, computability, and logic : proceedings of the Third International Conference on Combinatorics, Computability, and Logic, )DMTCS '01(
پدیدآورنده : C.S. Calude, M.J. Dinneen, and S. Sburlan )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Combinatorial analysis,Congresses ، Computational complexity,Congresses ، Logic, Symbolic and mathematical
رده :
QA
164
.
D6
2001
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
83. Communication: a logical model
پدیدآورنده : Harrah, David
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Content analysis )Communication(,، Information theory
رده :
BC
135
.
H33
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
84. Concept lattices : Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004 : proceedings
پدیدآورنده : Peter Eklund )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Lattice theory,Mathematical models -- Congresses ، Comprehension )Theory of Knowledge(,Congresses ، Information theory,Mathematical models -- Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
2961
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
85. Contributions to non-standard analysis
پدیدآورنده : Symposium on Non-standard Analysis, 0791, Oberwolfach, Ger.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Nonstandard mathematical analysis-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
300
.
S973
1970
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
86. Contributions to non-standard analysis
پدیدآورنده : Symposium on Non-standard Analysis, Oberwolfach, Ger.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Mathematical analysis, nonstandard-Congresses,Congresses ، Logic, Symbolic and mathematical
رده :
QA
300
.
S973
1970
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
87. Digital logic and switching circuits : operation and analysis
پدیدآورنده : Boyce, Jefferson C
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Digital electronics,، Logic, Symbolic and mathematical,، Switching theory
رده :
TK
7868
.
D5
.
B69
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
88. Discrete mathematics
پدیدآورنده : by Seymour Lipschutz, Ph.D. and Marc Lars Lipson, Ph.D.
کتابخانه: كتابخانه دانشگاه صنعتی اروميه (آذربایجان غربی)
موضوع : Algebra, Abstract- Outlines, syllabi, etc,Combinatorial analysis- Outlines, syllabi, etc,Logic, Symbolic and mathematical- Outlines, syllabi, etc
رده :
QA
,
162
,.
D57
,
2007
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
89. Discrete mathematics And Graph Theory
پدیدآورنده : Purna .Chandra Bisweal
کتابخانه: کتابخانه مرکزی دانشگاه یاسوج (محمد بهمن بیگی) (کهگیلویه و بویراحمد)
موضوع : Algebra, Abstract, Outlines, syllabi, etc,Combinatorial analysis, Outlines, syllabi, etc,Logic, Symbolic and mathematical, Outlines, syllabi, etc
رده :
510
,
B85
,
2005
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
90. Discrete mathematics and theoretical computer science : 4th international conference, DMTCS 2003, Dijon, France, July 7-12, 2003 : proceedings
پدیدآورنده : Cristian S. Calude, Michael J. Dinneen, Vincent Vajnovszki )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Combinatorial analysis,Congresses ، Computational complexity,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
2731
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
91. Finite and infinite combinatorics in sets and logic
پدیدآورنده : edited by N.W. Sauer, R.E. Woodrow, and B. Sands
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Combinatorial analysis - Congresses , Set theory - Congresses , Logic, Symbolic and mathematical - Congresses
رده :
QA
164
.
N38
1991
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
92. Finite and infinite combinatorics in sets and logic: ]proceedings of the NATO Advanced Study Institute on Finite and Infinite Combinatorics in Sets and Logic, Banff, Alberta, Canada, April 21-May 4, 1991[
پدیدآورنده : edited by N.W. Sauer, R.E. Woodrow, and B. Sands
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses. ، Combinatorial analysis,Congresses. ، Set theory,Congresses. ، Logic, Symbolic and mathematical
رده :
QA
164
.
N38
1991
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
93. Formal Concept Analysis
پدیدآورنده : \ Jaume Baixeries , Christian Sacarea, Manuel Ojeda-Aciego (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Mathematics -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Formal methods (Computer science) -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگرهها ,منطق ریاضی-- کنگرهها ,روشهای صوری (کامپیوتر) -- کنگره ها
رده :
QA
76
.
9
.
F67
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
94. Formal concept analysis
پدیدآورنده : / Bernhard Ganter, Gerd Stumme, Rudolf Wille (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Lattice theory,Comprehension (Theory of knowledge),Logic, Symbolic and mathematical,Information theory,Artificial intelligence, Mathematical models
رده :
E-BOOK
![](/design/images/bookmore.png)
95. Formal concept analysis
پدیدآورنده : / Petko Valtchev, Robert Jeaschke (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Lattice theory, Congresses,Computer science, Mathematics, Congresses,Artificial intelligence, Mathematical models, Congresses,Mathematical analysis, Congresses,Logic, symbolic and mathematical, Congresses,Formal methods (Computer science), Congresses
رده :
E-BOOK
![](/design/images/bookmore.png)
96. Formal concept analysis
پدیدآورنده : Petko Valtchev, Robert Jeaschke (eds.)
موضوع : Lattice theory, Congresses,Computer science, Mathematics, Congresses,Artificial intelligence, Mathematical models, Congresses,Mathematical analysis, Congresses,Logic, symbolic and mathematical, Congresses,Formal methods (Computer science), Congresses
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
97. Formal concept analysis : foundations and applications
پدیدآورنده : Bernhard Ganter, Gerd Stumme, Rudolf Wille )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Lattice theory,Congresses ، Comprehension )Theory of Knowledge(,Congresses ، Logic, Symbolic and mathematical,Congresses ، Information theory,Mathematical models -- Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
3626
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
98. Formal concept analysis : 4th International Conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006 : proceedings
پدیدآورنده : Rokia Missaoui, Jurg Schmid )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Lattice theory,Mathematical models -- Congresses ، Comprehension )Theory of Knowledge(,Congresses ، Information theory,Mathematical models -- Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
3874
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
99. Formal concept analysis :4th international conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006 : proceedings /Rokia Missaoui, Juجˆrg Schmid (eds.).
پدیدآورنده : مولف
کتابخانه: کتابخانه پردیس بین الملل كیش دانشگاه تهران (هرمزگان)
موضوع : Lattice theory,Comprehension (Theory of knowledge)--Mathematical models,Information theory,Artificial intelligence--Mathematical models,Logic, Symbolic and mathematical
![](/design/images/bookmore.png)
100. Formal concept analysis : third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005 : proceedings
پدیدآورنده : Bernhard Ganter, Robert Godin )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Lattice theory,Congresses ، Comprehension )Theory of Knowledge(,Mathematical models -- Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical,Congresses ، Information theory
رده :
QA
76
.
L28
Vol
.
3403
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)